Modeling constraint-based processes: A supervisory control theory application
نویسندگان
چکیده
منابع مشابه
Modeling constraint-based processes: A supervisory control theory application
Constraint-based processes require a set of rules that limit their behavior to certain boundaries. In these processes, the control flow is defined implicitly as a set of constraints or rules, and all possibilities that do not violate any of the given constraints are allowed to be executed. The present paper proposes a new approach to deal with constraint-based processes. The proposed approach i...
متن کاملDesigning communicating transaction processes by supervisory control theory
A Communicating Transaction Process (CTP) is a computational model that serves as a high level specification language for reactive embedded system components and their interactions. It consists of a network of communicating processes coordinating their behaviors via common actions and the common actions are refined as a set of guarded Message Sequence Charts (MSCs). There has been little work d...
متن کاملApplication of supervisory control theory to theme park vehicles
Due to increasing system complexity, time-to-market and development costs reduction, new engineering processes are required. Model-based engineering processes are suitable candidates because they support system development by enabling the use of various model-based analysis techniques and tools. As a result, they are able to cope with complexity and have the potential to reduce time-to-market a...
متن کاملPerformance in Supervisory Control Theory
A supervisor is generated with Supervisory Control Theory [3], resulting in a nonblocking and minimally restrictive controller. Time is introduced time using timed automata theory. A compact data structure is used to keep track of the time information in the timed automata: Heaps of Pieces [2]. The fastest sequence of events is found, using graph search algorithms of Dijkstra and A [1]. This is...
متن کاملSupervisory Control Service - A control approach supporting flexible processes
In order to be competitive, companies are demanding more flexibility from their Process Aware Information Systems (PAISs). However, increasing flexibility and complexity of modern PAISs usually leads to less guidance for its users and consequently requires more experienced users. For instance, a flexible PAIS allows users to freely choose a specific execution sequence. However, there are no gua...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Science and Information Systems
سال: 2014
ISSN: 1820-0214,2406-1018
DOI: 10.2298/csis131029026s